1. A structural account of mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics ; Philosophy. ; Structuralism. ; Constructive mathematics. ;
2. Apartness and uniformity a constructive development
پدیدآورنده : Bridges, Douglas S., Douglas S. Bridges, Luminia Simona V
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Constructive mathematics.
رده :
QA
8
.
A6
B7
2011
3. Bounded arithmetic /
پدیدآورنده : Samuel R. Buss
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Constructive mathematics
رده :
QA9
.
56
.
B87
1986
4. Bounded arithmetic
پدیدآورنده : Buss, Samuel R.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constructive mathematics,، Computational complexity
رده :
QA
9
.
56
.
B87
1986
5. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده : / Jan Krajicek
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Constructive mathematics.,Proposition (Logic),Computational complexity.
رده :
QA
,
9
.
56
,.
K73
,
1995
6. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده : Krajicek, Jan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constructive mathematics,، Proposition )Logic(,، Computational complexity
رده :
QA
9
.
56
.
K7
7. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;
8. Callege mathematics integral analysis
پدیدآورنده : S.U. Kamat, V.D. Deshpande,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Calculus,Constructive mathematics
رده :
QA
.
K3
303
1980
9. Closure properties and kripke models for fragments of heyting arithmetic
پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
10. Constructibility and mathematical existence /
پدیدآورنده : Charles S. Chihara.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
رده :
QA8
.
4
.
C45
1990eb
11. Constructibility & mathematical existence
پدیدآورنده : CHIHARA,CHARLES S
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MATHEMATICS-PHILOSOPHY , CONSTRUCTIVE MATHEMATIC , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
8
.
4
.
C45
12. Constructive mathematics: proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, Augustll-15, 1980
پدیدآورنده : Edited by F. Richman
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Constructive mathematics - Congresses,Inuitionistic mathematics - Congresses
رده :
QA
3
.
L28
no
.
873
13. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
14. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
3
.
L28
Vol
.
873
15. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
16. Constructive measure theory,
پدیدآورنده : by Errett Bishop and Henry Cheng.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constructive mathematics.,Integrals, Generalized.,Measure theory.
رده :
QA3
.
A57
no
.
116
17. Constructive physics
پدیدآورنده : / Y.I. Ozhigov
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Quantum theory--Mathematical models,Constructive mathematics.
رده :
QC174
.
17
.
M35O94
2011
18. Constructivism in mathematics
پدیدآورنده : / A.S. Troelstra, D. van Dalen
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Constructive mathematics.
رده :
QA
,
9
.
56
,.
T74
,
1988
19. Constructivism in mathematics
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
20. Constructivism in mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Constructive mathematics. ;
